Recreational mathematics - PDFSEARCH.IO - Document Search Engine

Recreational mathematics
Results: 332

#	Item
31	Z3 Lab exercises Leonardo de Moura and Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {leonardo, nbjorner}@microsoft.com June 18, 2008 Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Computational complexity theory Recreational mathematics Z3 Gray code Eight queens puzzle Sudoku Constraint satisfaction Bit array Longest path problem Mathematics Theoretical computer science NP-complete problems
32	MOVESAbstracts Plenary Talks Elwyn Berlekamp, University of California, Berkeley The Game of Amazons Abstract coming soon! John H. Conway, Princeton University Add to Reading List Source URL: momath.org Language: English - Date: 2015-06-03 09:13:46 Combinatorial game theory NP-complete problems Logic puzzles Mathematical game John Horton Conway Mathematical puzzle Combinatorics Polyomino Mechanical puzzle Mathematics Recreational mathematics Puzzles
33	MATH TILINGS at Math Hour! Inspired by Activities of Julia Robinson Math Festival and Nina Cerutti and Leo B. of SFMC. Tili Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2015-03-28 17:55:29 Tiling Recreational mathematics Polyomino Tessellation Tile-based game Dominoes Mutilated chessboard problem Pythagorean tiling Mathematics Geometry Games
34	Sudoku: Tactics elapsed. We recommend 5 points for a quick game, 15 points for more serious tacticians, or 30 minutes to offer a timepressure challenge. In a timed game, players should be allowed no more than Add to Reading List Source URL: www.bluepantherllc.com Language: English - Date: 2009-08-17 10:51:12 Logic puzzles Sudoku Mathematics of Sudoku Ingenious Games Tile-based board games Recreational mathematics
35	Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Alloy Analyzer Massachusetts Institute of Technology Recreational mathematics Alloy N1 road N postcode area Sudoku Boolean satisfiability problem Theoretical computer science Mathematics Formal methods
36	16th Canadian Conference on Computational Geometry, 2004 Tiling Layouts with Dominoes Chris Worman Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-08-23 15:27:23 Recreational mathematics Domino problem Domino tiling Dominoes Wang tile Tessellation Domino Polyomino Tile-based game Mathematics Tiling Geometry
37	16th Canadian Conference on Computational Geometry, 2004 Continuous Foldability of Polygonal Paper Erik D. Demaine Satyan L. Devadoss Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-08-23 15:27:23 Visual arts Recreational mathematics Origami Differential geometry Mathematics of paper folding Metric geometry Frenet–Serret formulas Curve Geodesic Geometry Mathematics Paper folding
38	Solving Single-digit Sudoku Subproblems David Eppstein Int. Conf. Fun with Algorithms, June 2012 Sudoku Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-04-23 16:29:40 Recreational mathematics Sudoku Backtracking Sudoku algorithms Puzzle Mathematics of Sudoku Logic puzzles Mathematics NP-complete problems
39	Motivation Outline Framework Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-20 11:45:44 Sudoku Sudoku algorithms Mathematics Recreational mathematics Theoretical computer science
40	Pupils’ Activities Techniquest Stuart Street Cardiff CF10 5BW Tel: Add to Reading List Source URL: www.techniquest.org Language: English - Date: 2012-03-27 10:39:55 Recreational mathematics Magic Magic square Matrices Outline of chess Logic puzzles Queen Eight queens puzzle Mutilated chessboard problem Mathematics Games Chess